A Bottom Up Approach to Model Based Program Validation
نویسندگان
چکیده
Validators are used to ensure that internet based services present information in an adequate way to the end users. However, today’s validators are not transparent making it difficult for the users to understand their feedback. To enhance the transparency we propose a MDE based approach to program validation, where domain requirements are presented in a metamodel. The validation is based on a bottom up approach where programs are parsed and represented as models before they are checked against the metamodel.
منابع مشابه
Architecture Description Language driven Validation of Dynamic Behavior in Pipelined Processor Specifications
As embedded systems continue to face increasingly higher performance requirements, deeply pipelined processor architectures are being employed to meet desired system performance. A significant bottleneck in the validation of such systems is the lack of a golden reference model. Thus, many existing techniques employ a bottom-up approach to architecture validation, where the functionality of an e...
متن کاملTowards Automatic Validation of Dynamic Behavior in Pipelined Processor Specifications
As embedded systems continue to face increasingly higher performance requirements, deeply pipelined processor architectures are being employed to meet desired system performance. A signi®cant bottleneck in the validation of such systems is the lack of a golden reference model. Thus, many existing techniques employ a bottom-up approach to architecture validation, where the functionality of an ex...
متن کاملSustainable Supplier Selection by a New Hybrid Support Vector-model based on the Cuckoo Optimization Algorithm
For assessing and selecting sustainable suppliers, this study considers a triple-bottom-line approach, including profit, people and planet, and regards business operations, environmental effects along with social responsibilities of the suppliers. Diverse metrics are acquainted with measure execution in these three issues. This study builds up a new hybrid intelligent model, namely COA-LS-SVM, ...
متن کاملThe effect of bottom-up and top-down auditory program training on the development of children's auditory processing skills
Although there have been several previous investigations on the role of auditory training for the development of auditory processing skills, it still remains unknown whether children with auditory processing difficulties can get improved auditory skills after exposure to a multi-modal training experience comprising both visual and tactile stimuli. The present study, therefore, attempted to use ...
متن کاملThe effect of bottom-up and top-down auditory program training on the development of children's auditory processing skills
Although there have been several previous investigations on the role of auditory training for the development of auditory processing skills, it still remains unknown whether children with auditory processing difficulties can get improved auditory skills after exposure to a multi-modal training experience comprising both visual and tactile stimuli. The present study, therefore, attempted to use ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2016